Technical Note—Generalized Efficient Solutions for Sums of Sets
نویسندگان
چکیده
منابع مشابه
Uniquely Remotal Sets in $c_0$-sums and $ell^infty$-sums of Fuzzy Normed Spaces
Let $(X, N)$ be a fuzzy normed space and $A$ be a fuzzy boundedsubset of $X$. We define fuzzy $ell^infty$-sums and fuzzy $c_0$-sums offuzzy normed spaces. Then we will show that in these spaces, all fuzzyuniquely remotal sets are singletons.
متن کاملReasoning with Sets and Sums of Sets
In this paper we introduce a decision procedure for the combined theory of sets, arithmetic and sums of sets, that can be used as abstraction for problems in verification. This theory and the developed decision procedures is also the first step in our path to develop decision procedures for more theories that can be used as abstraction in more situations, for example with the additional bridgin...
متن کاملtechnical and legal parameters for determination of river boundary,( case study haraz river)
چکیده با توسعه شهر نشینی و دخل و تصرف غیر مجاز در حریم رودخانه ها خسارات زیادی به رودخانه و محیط زیست اطراف آن وارده می شود. در حال حاضر بر اساس آئین نامه اصلاح شده بستر و حریم رودخانه ها، حریم کمی رودخانه که بلافاصله پس از بستر قرار می گیرد از 1 تا20 متر از منتهی الیه طرفین بستر رودخانه تعیین، که مقدار دقیق آن در هر بازه از رودخانه مشخص نیست. در کشورهای دیگر روشهای متفاوتی من جمله: درصد ریسک...
15 صفحه اولTechnical Report: An efficient management of correlation sets with broadcast
A fundamental aspect which affects the efficiency and the performance of Service-Oriented Architectures is the mechanism which allows to manage sessions and, in particular, to assign incoming messages to the correct sessions (also known as service instances). A relevant mechanism for solving this problem, first introduced by BPEL and then used in other languages (e.g. Jolie) is that one based o...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Operations Research
سال: 1980
ISSN: 0030-364X,1526-5463
DOI: 10.1287/opre.28.3.844